// Declaration file daikon-output/DataStructures/StackAr.decls rewritten by ComparablePairsDescFileReader
// Wed May 28 17:24:50 EDT 2003
VarComparability
implicit

// Declarations for DataStructures/StackAr.java
// Written Wed May 28 17:23:56 2003


ListImplementors
java.util.List


DECLARE
DataStructures.StackAr.StackAr():::ENTER

DECLARE
DataStructures.StackAr.StackAr():::EXIT30
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2

DECLARE
DataStructures.StackAr.StackAr(int):::ENTER
capacity
int # isParam=true
int
0

DECLARE
DataStructures.StackAr.StackAr(int):::EXIT40
capacity
int # isParam=true
int
0
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.isEmpty():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.isEmpty():::EXIT48
return
boolean
boolean
1
this
DataStructures.StackAr # isParam=true
hashcode
3
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
2[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.isFull():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.isFull():::EXIT57
return
boolean
boolean
1
this
DataStructures.StackAr # isParam=true
hashcode
3
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
2[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.makeEmpty():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2

DECLARE
DataStructures.StackAr.makeEmpty():::EXIT68
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2

DECLARE
DataStructures.StackAr.top():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.top():::EXIT78
return
java.lang.Object
hashcode
-2
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.top():::EXIT79
return
java.lang.Object
hashcode
1
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.pop():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2

DECLARE
DataStructures.StackAr.pop():::EXIT91
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2

DECLARE
DataStructures.StackAr.push(java.lang.Object):::ENTER
x
java.lang.Object # isParam=true
hashcode
1
x.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.push(java.lang.Object):::EXIT103
x
java.lang.Object # isParam=true
hashcode
1
x.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.topAndPop():::ENTER
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.topAndPop():::EXIT112
return
java.lang.Object
hashcode
-2
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.topAndPop():::EXIT115
return
java.lang.Object
hashcode
1
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.StackAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
0

DECLARE
DataStructures.StackAr.main(java.lang.String[]):::ENTER
args
java.lang.String[] # isParam=true
hashcode
1
args.class
java.lang.Class
java.lang.String
-1
args[]
java.lang.String[]
java.lang.String[]
0[1]
args[].toString
java.lang.String[]
java.lang.String[]
-1

DECLARE
DataStructures.StackAr.main(java.lang.String[]):::EXIT136
args
java.lang.String[] # isParam=true
hashcode
1
args.class
java.lang.Class
java.lang.String
-1
args[]
java.lang.String[]
java.lang.String[]
0[1]
args[].toString
java.lang.String[]
java.lang.String[]
-1

DECLARE
DataStructures.StackAr:::OBJECT
this
DataStructures.StackAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.topOfStack
int
int
-2
